Laboratory for Foundations of Computer Science

Coordinates: 55°55′16.5″N 3°10′25″W / 55.921250°N 3.17361°W / 55.921250; -3.17361
From Wikipedia, the free encyclopedia
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

The Laboratory for Foundations of Computer Science (LFCS) is a research institute within the School of Informatics at the University of Edinburgh, in Scotland. It was founded in 1987 and is a community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic, algorithms, complexity, databases and modelling.[1]

References

  1. ^ "Welcome to LFCS". LFCS home page. Retrieved 29 April 2016.

External links

55°55′16.5″N 3°10′25″W / 55.921250°N 3.17361°W / 55.921250; -3.17361